82 research outputs found

    Graph Creation, Visualisation and Transformation

    Full text link
    We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting

    Effect of uniaxial stress on the unstable \u3ci\u3eA\u3c/i\u3e\u3csub\u3e1\u3c/sub\u3e (TO) phonon in ferroelectric gadolinium molybdate

    Get PDF
    The effect of uniaxial stress along [100] on the unstable A1 (TO) phonon, 47 cm-1 at room temperature, in ferroelectric (\u3c159°C) gadolinium molybdate has been studied by Raman scattering at 138, 141, 146, and 155°C. An increase in peak frequency and narrowing of the line shape is observed with increasing stress. The data are analyzed by fitting to a Lorentzian line shape. The force-constant parameter is insensitive to both stress and temperature, whereas the damping constant decreases nonlinearly with stress, approaching an asymptotic value at high stress

    Uncertain Reasoning with RAM Neural Networks

    No full text

    Sorting 13 Elements Requires 34 Comparisons

    No full text

    Formalizing Set Theory as it Is Actually Used

    No full text

    Evaluation of Spectral-Based Methods for Median Graph Computation

    No full text
    • …
    corecore